Interpolation theorems for program schemata
نویسندگان
چکیده
منابع مشابه
Extensible Logic Program Schemata
Schema-based transformational systems maintain a library of logic program schemata which capture large classes of logic programs. One of the shortcomings of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs....
متن کاملProgram Schemata vs. Automata for Decidability of Program Logics
A new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic Mu-Calculus.
متن کاملGeneralized Interpolation Theorems
(Note that the Craig interpolation theorem is the special case of Chang's theorem in which Q19,.., Qn are all universal quantifiers.) Chang also raised the question [2, Remark (k)] as to whether the Lopez-Escobar interpolation theorem [6] for the infinitary language L.1. possesses a similar generalization. In this paper, we show that the answer to Chang's question is affirmative and, moreover, ...
متن کاملInterpolation Theorems for Self-adjoint Operators
We prove a complex and a real interpolation theorems on Besov spaces and Triebel-Lizorkin spaces associated with a selfadjoint operator L, without assuming the gradient estimate for its spectral kernel. The result applies to the cases where L is a uniformly elliptic operator or a Schrödinger operator with electromagnetic potential.
متن کاملInterpolation theorems for intuitionistic predicate logic
Craig interpolation theorem (which holds for intuitionistic logic) implies that the derivability of X,X’-¿Y’ implies existence of an interpolant I in the common language of X and X’-¿Y’ such that both X-¿I and I,X’-¿Y’ are derivable. For classical logic this extends to X,X’-¿Y,Y’, but for intuitionistic logic there are counterexamples. There is a version true for intuitionistic propositional (b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1978
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(78)90296-6